1. Logic programming: 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005: proceedings
پدیدآورنده: Maurizio Gabbrielli, Gopal Gupta )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Logic programming,Congrغs ، Programmation logique,، Logisch programmeren,، Programmation logique
رده :
QA
76
.
63
.
I563
2005
2. Principles of logic and logic programming /
پدیدآورنده: G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.
رده :
QA76
.
63
.
M473
1996eb
3. The Logic programming paradigm :
پدیدآورنده: K.R. Apt [and others] eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming.,Logisch programmeren.,Programmation logique.
رده :
QA76
.
63
K737
1999
